What is the definition of procedure in PL SQL